منابع مشابه
Innovative Materials for Aircraft Morphing
ABSTRACT Reported herein is an overview of the research being conducted within the Materials Division at NASA Langley Research Center on the development of smart material technologies for advanced airframe systems. The research is a part of the Aircraft Morphing Program which is a new six-year research program to develop smart components for self-adaptive airframe systems. The fundamental areas...
متن کاملDifferential subordination and superordination results associated with the Wright function
An operator associated with the Wright function is introduced in the open unit disk. Differential subordination and superordination results associated with this operator are obtained by investigating appropriate classes of admissible functions. In particular, some inequalities for modified Bessel functions are also obtained.
متن کاملThermographic Evaluation of Aircraft Composite Materials
Lockin thermography is used by RSAF and other aircraft companies. It involves actively applying sinusoidal thermographic waves to the specimen and observing phase and amplitude changes at the specimen surface in order to evaluate structural information below the surface. Experiments were performed to evaluate defect characteristics such as depth, size and shape. The specimen contained very wide...
متن کاملHazardous materials incidents in military aircraft.
We evaluated 10 years of reported hazardous cargo incident information from the U.S. Air Force and Naval Safety Centers. In this first of two papers describing the hazardous cargo problems reported by the two services, we describe types of aircraft and types of hazardous cargo involved in incidents not causing aircraft mishaps. Normally, hazardous cargo must be manifested as such and no passeng...
متن کاملGetting started with SMV
MODEL IMPLEMENTION COMPONENT REFINEMENT MAPS Figure 1: Re nement maps interfaces and structures in the low-level design. This makes it possible to verify small parts of the low-level design in the context of the abstract model. Thus, the proof obligations can be reduced to a small enough scale to be veri ed by model checking. SMV supports this methodology by allowing one to specify many abstrac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MRS Bulletin
سال: 1995
ISSN: 0883-7694,1938-1425
DOI: 10.1557/s0883769400044936